patching of a wall - German English Dictionary